Semantic folding